Outils pour une comparaison sans a priori entre arithmétique logarithmique et arithmétique flottante

نویسندگان

  • Jérémie Detrey
  • Florent de Dinechin
چکیده

This paper describes a library of parameterized arithmetic operators for manipulating high-dynamic numbers on FPGA. It support both floating-point and logarithmic representations. Along with its direct interest, that library allow application-specific comparisons of those two number representation systems. It is unbiased in the sense that it tends to reflect the state-of-the-art for both number arithmetic systems, and is freely available at MOTS-CLÉS : arithmétique, virgule flottante, système logarithmique, LNS, opérateurs matériels, FPGA, VHDL.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Résumé Des travaux récents sur l’analyse statique de programmes numériques ont montré que les techniques d’interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L’utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l’existence de l’effe...

متن کامل

The multivariate arithmetic Tutte polynomial

We introduce an arithmetic version of the multivariate Tutte polynomial recently studied by Sokal, and a quasi-polynomial that interpolates between the two. We provide a generalized Fortuin-Kasteleyn representation for representable arithmetic matroids, with applications to arithmetic colorings and flows. We give a new proof of the positivity of the coefficients of the arithmetic Tutte polynomi...

متن کامل

Power - free values , large deviations , and integer points on irrational curves par

Résumé. Soit f ∈ Z[x] un polynôme de degré d ≥ 3 sans racines de multiplicité d ou (d− 1). Erdős a conjecturé que si f satisfait les conditions locales necessaires alors f(p) est sans facteurs puissances (d − 1) pour une infinité de nombres premiers p. On prouve cela pour toutes les fonctions f dont l’entropie est assez grande. On utilise dans la preuve un principe de répulsion pour les points ...

متن کامل

Bacteriological Study of Asymptomatic Urinary Tract Infections in Pregnant Women in Tehran

Des infections Microbiennes de l'apparell urinaire se voient beaucoup en periode de gros­sesse.  Chez 25% des femmes enceintes, la bacteru­rie sans symptomes aboutit a une infection sym­ptomatique des voiles urinaires dans les mois ulterieurs de la grossesse, c'est pour cette raison qu'il est utile de demander, comme routine, des examens bacteriologiques d'urine, surtout pen­dant la grossesse....

متن کامل

Mécanismes de handover pour les réseaux IP sans fil

RÉSUMÉ . Le handover est le processus qui permet, à un terminal mobile, d’effectuer le passage entre deux points d’attachement à un réseau. Ce changement de point d’attachement implique une déconnexion momentanée du terminal mobile, et des perturbations des communications en cours. Ainsi, pour disposer d’une communication de qualité avec un terminal mobile, le handover doit introduire des mécan...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Technique et Science Informatiques

دوره 24  شماره 

صفحات  -

تاریخ انتشار 2005